Focalize Contributors

1 About FoCaLiZe FoCaLiZe is the result of a collective work of several researchers, listed in the following, who designed, defined, compiled, studied, extended, used and debugged the preceding versions. They were helped by many students who had a summer internship under their supervision. They would like to thank all these students and more generally all the persons who brought some contribution to FoCaLiZe. pour l'Industrie et l'Entreprise) 3. 2 ESTIME and GALLIUM are teams of INRIA Rocquencourt 4. UIIS (Unité d'Informatique et d'Ingénierie des Systèmes) is a team of ENSTA ParisTech 5. The project also benefited of strong collaborations with the EDEMOI ANR project and with the BERTIN and SAFERIVER companies. The FoCaLiZe language and compiler development effort started around 2005. The architecture conception and code rewritting started from scratch in 2006 to finally make the first focalizec compiler and FoCaLiZe system distribution in 2009, January. This manual documents the completely revised system with the new syntax and its semantics extensions.